f : (a, b -> c, (d -> e), g)
f